home *** CD-ROM | disk | FTP | other *** search
/ SGI Developer Toolbox 6.1 / SGI Developer Toolbox 6.1 - Disc 4.iso / src / tutorials / geometer / Theorems / misc / lens.T < prev    next >
Encoding:
Text File  |  1994-08-02  |  1.5 KB  |  36 lines
  1. .geometry "version 0.1";
  2. v1 = .free(-0.878873, -0.0253521, .invisible, .L0, "1");
  3. v2 = .free(1, -0.0253521, .invisible, .L0, "2");
  4. l1 = .l.vv(v2, v1, .L0, .longline);
  5. v3 = .vonl(l1, -0.276056, -0.0253521, .red, .L0, .cross);
  6. v4 = .vonl(l1, -0.135211, -0.0253521, .red, .L0, .cross);
  7. l2 = .l.vlperp(v4, l1, .invisible, .L0);
  8. v5 = .vonl(l2, -0.135211, -0.729565, .red, .L0, .cross);
  9. c1 = .c.vv(v4, v5, .invisible, .L0);
  10. v6 = .v.lc(l2, c1, 2, .invisible, .L0, .plus);
  11. c2 = .c.vvv(v5, v3, v6, .red, .L0);
  12. v7 = .vonc(c2, -0.275187, 0.0310459, .L0, .cross);
  13. v8 = .vonl(l1, -0.723944, -0.0253521, .L0, .cross);
  14. l4 = .l.vv(v8, v7, .L0, .longline);
  15. l5 = .l.vv(v3, v5, .invisible, .L0, .longline);
  16. l6 = .l.vv(v3, v6, .invisible, .L0, .longline);
  17. v9 = .v.vvmid(v6, v3, .invisible, .L0, .plus);
  18. v10 = .v.vvmid(v3, v5, .invisible, .L0, .plus);
  19. l7 = .l.vlperp(v10, l5, .invisible, .L0, .longline);
  20. l8 = .l.vlperp(v9, l6, .invisible, .L0, .longline);
  21. v11 = .v.ll(l8, l7, .invisible, .L0, .plus);
  22. l9 = .l.vv(v11, v7, .invisible, .L0, .longline);
  23. c3 = .c.vv(v7, v4, .invisible, .L0);
  24. v12 = .v.lc(l9, c3, 2, .invisible, .L0, .plus);
  25. v13 = .v.lc(l4, c3, 1, .invisible, .L0, .plus);
  26. l10 = .l.vlperp(v12, l4, .invisible, .L0, .longline);
  27. v14 = .v.ll(l4, l10, .invisible, .L0, .plus);
  28. len1 = .len.vv(v12, v14);
  29. len2 = .len.f(1.5);
  30. len3 = .len.times(len1, len2);
  31. cir = .c.vlen(v14, len3, .invisible);
  32. v15 = .v.lc(l10, cir, 1, .invisible, .L0, .plus);
  33. l3 = .l.vlperp(v15, l10, .invisible, .L0, .longline);
  34. v16 = .v.lc(l3, c3, 1, .invisible, .L0, .plus);
  35. l11 = .l.vv(v16, v7, .smear, .L0, .longline);
  36.